Celestial Coordinate System and the FK5 Catalogue

The PICA Catalogue System

The adoption of ICRS on 1 January 1998: meaning and consequences

As of 1 January 1998, the celestial reference system adopted by the IAU will be based on a set of extragalactic directions, replacing the Fundamental Katalog No 5 (FK5) that gave star coordinates in a reference system (referred to as equator and equinox J2000) based primarily on the dynamics of the solar system. This change is deeper than a mere replacement of a reference system by a better one...

Catalogue of System and Software Properties

The use of formal methods has been recognized in different domains as a potential means for early validation and verification. However, correctly specifying formal properties is very hard due to the ambiguity of the typical textual requirements and the complexity of the formal languages. To this end, we define the Catalogue of System and Software Properties. Starting from a taxonomy of requirem...

On recent discovery of new planetoids in the solar system and quantization of celestial system

The present note revised the preceding article discussing new discovery of a new planetoid in the solar system. Some recent discoveries have been included, and its implications in the context of quantization of celestial system are discussed, in particular from the viewpoint of superfluid dynamics. In effect, it seems that there are reasons to argue in favor of gravitation-related phenomena fro...

LAT Coordinate System

The hardware and software designs need a clear, consistent and universally accepted definition of the coordinate system for the LAT. This note specifies the global LAT instrument coordinate system; the terminology, numbering, and orientation of detector planes in the TKR and CAL; and tower numbering, the local tower coordinate systems, and detector element numbering within a tower. The conventi...